From 00d4ade75e88434b13b9e569a1fd56f244c98bf2 Mon Sep 17 00:00:00 2001 From: Behnam Esfahbod Date: Wed, 6 Sep 2017 02:07:59 -0700 Subject: [PATCH] [doc/header] Update Policies URL --- src/doc/header.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/header.html b/src/doc/header.html index 23395f473..614d1ba47 100644 --- a/src/doc/header.html +++ b/src/doc/header.html @@ -43,7 +43,7 @@
  • Environment Variables
  • Source Replacement
  • External Tools
  • -
  • Policies
  • +
  • Policies
  • -- 2.30.2